منابع مشابه
Informatics 10 Years Back , 10 Years Ahead
Interpretation is a theory of approximation of the be— havior of dynamic discrete systems such as the formal seman tics ofprograms. Since such behaviors can be characterized by fixpoints, the theory essentially provides constructive and ef— fective methods for fixpoint approximation and checking by abstraction. Non—conventionalapplications of abstract interpretation in— clude the design of hie...
متن کاملDiabetes management before and after cancer diagnosis: missed opportunity.
BACKGROUND Few studies have examined the management of comorbidities in cancer patients. This study used population-based data to estimate the guideline concordance rates for diabetes management before and after cancer diagnosis and examined if diabetes management services among cancer patients was associated with characteristics of the hospital where the patient was treated. METHODS We linke...
متن کاملWill Mongolia’s Herders Disappear within 10 Years?
Introduction The challenges related to the preservation of Mongolia’s pastureland, its quality and condition are key concerns for the livestock sector. However, scientists, researchers and government agencies tend to focus solely on rangeland ecology and livestock. All too often, herders are overlooked and omitted from the discourse. This is the main reason I want to talk about people of the M...
متن کاملThe effectiveness of transvenous leads extractions implanted more than 10 years before.
BACKGROUND The increasing number of patients with cardiac implantable electronic devices (CIEDs) causes a rise in the absolute percentage of individuals qualifying for a transvenous lead extraction (TLE) due to infectious, vascular or lead failure related indications. As the survival time prolongs, TLE procedures more and more often concern the electrodes of long- -term functioning. Authors pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Case Reports
سال: 2015
ISSN: 1757-790X
DOI: 10.1136/bcr-2015-209628